Knihy od autora Renate A. Schmidt

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Relations and Kleene Algebra in Computer Science

   Renate A. Schmidt | Springer, Berlin, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
2. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   Renate A. Schmidt, Cláudia Nalon | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1948 Kč

   Koupit
3. 
   Novinka

   Automated Reasoning

   Christoph Benzmüller, Marijn Heule, Renate A. Schmidt | Springer, Berlin, 2024

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1268 Kč

   Koupit
4. 

   Automated Reasoning

   Christoph Benzmüller, Marijn Heule, Renate A. Schmidt | Springer, Berlin, 2024

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2220 Kč

   Koupit
5. 

   Automated Deduction - CADE-22

   Renate A. Schmidt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit

Orientační termín doručení vidíte přímo v detailu knihy. Zjistěte více